1. Abstract Interpretation of Declarative Languages
پدیدآورنده : Editors Samson Abramsky, Chris Hankin
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer Programs (validation),Structured Programming
رده :
QA
،
76
.
76
،.
V47
،
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)